$\forall$$A$, $B$, $C$:Dsys.
\\[0ex]$A$ $\parallel$ $B$
\\[0ex]$\Rightarrow$ interface{-}compatible($C$;$A$)
\\[0ex]$\Rightarrow$ interface{-}compatible($C$;$B$)
\\[0ex]$\Rightarrow$ interface{-}compatible($C$;$A$ $\oplus$ $B$)